#include "types.h"
#include "stat.h"
#include "user.h"
#include "fs.h"



int main(int argc, char *argv[]){
	int num = 0.1111111111;
	
	printf(1,"%d", num);
	exit();
	
	
	
	
	
	
	
}
